Türkçe | İngilizce | |
---|---|---|
Informatics | ||
Bilişim | önermenin olumsuzlaması | negation of a proposition i. |
Türkçe | İngilizce | |
---|---|---|
Logic | ||
Mantık | koşullu bir önermenin ve sonucunun olumsuzlaması doğru olarak verildiğinde, öncülünün olumsuzlamasının da geçerli olabileceği ilkesi | modus tollens i. |